formal equivalence checking

美 [ˈfɔːrml ɪˈkwɪvələns ˈtʃekɪŋ]英 [ˈfɔːml ɪˈkwɪvələns ˈtʃekɪŋ]

1

Compared with simulation and emulation , we discuss the advantages and disadvantages of this method , we classify digital hardware formal verification as equivalence checking , model checking and theorem proving and we focus on theorem proving with HOL .

对数字硬件形式化验证技术进行了分类，模型检测，定理证明和等价性检验。本文重点是基于HOL定理证明器的验证。